Bug fix: forgot to lower case one instance of file_objs