Typo in IRC link
Typos (related to https://github.com/hal/hal.github.io/pull/1)