Explicitly define from_file