minor changes in player.js