Slight tweaks to c144.hw3 E06, E07 and E09