document the ignored readInt call in readNextOperation()