printf formats fixed