play.js: change according to Sebastian's code review