Fix embarrassing off-by-one error in printf