js nitpicks in websockets example