printf correctness fix