fix printf warning

Interestingly enough, only Mac OS X complained about
the first argument of printf not being a constant string
and not including formatting placeholders.