fix a format warning, thanks to Daniel Jakots