--- mplayer/mplayer.c.format~ 2011-12-11 15:44:36.000000000 +0100 +++ mplayer/mplayer.c 2012-01-10 00:38:44.212356938 +0100 @@ -2890,7 +2890,7 @@ int main(int argc, char *argv[]) if (!filename && !player_idle_mode && !use_gui) { // no file/vcd/dvd -> show HELP: - mp_msg(MSGT_CPLAYER, MSGL_INFO, help_text); + mp_msg(MSGT_CPLAYER, MSGL_INFO, "%s", help_text); exit_player_with_rc(EXIT_NONE, 0); }