fix printf warning