Fix comma in hilary.pp