Fix #148: WebSocket reconnection behaviour