correct type of printf