Made player.js slightly less ugly.