Fix typos reported in IRC