Fixed the choices of FORMAT used in printf