Fix missing ; in irc.html