Shorten websocket time out. Fixes #67