few fixes

fix a typo and turn the irc page to a link