Fixing paths in hofs I lab.