FIX: printf format strings. Switch to standard specifiers.