Fix two HashSet typos (#464)