33ae3dfefd
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.