Fix IRC doc