oggplayer: Minor cleanup