Fix size of printf arguments.