fixed printf format arguments