Fix some improper uses of printf formats