Various style fixes and irc server changes