Files close themselves when they go out of scope, so there's no need for an explicit close here