Minor corrections

Changed some config options and added updated version of web_socket.js