Minor API change in websockets.