fix of printf format