Typo
Throw EOFException if stream is too short