Not needed if EOF is handled in SocketReader.read()