Bugfix in get_hathifile