47a2bcbced
satisfied with a simple cast to int in the check against EOF, so the fix is a bit involved by actually having to go through a temporary variable.