mplayer: style nits