Otherwise you'd have to make sure to close the file also when the reading process raises an exception