Minor changes to player.js