It is not necessary to report these users to IRCops though

Please fix the punctuation.
It is not necessary to report these users to IRCops though.