Minor refactoring, renaming read_from_file to readFromFile