remove a double %% in printf.