Tidying up HW14 a tiny bit