Fixed #5021 (Confusing message about %lf format in printf())