Clarify spec on EOFException