Fix % in printf