I've removed `file_` and fixed the two uses of it. See #13