Fix noted by IH.