A minor styling change in irc client