correct type of printf again