Fixed some formatting issues in the IRC page