Minor fix in the default implementation for SocketManager