What is the name for a person that continuously corrects others even if it is trivial?

A person that continuously corrects others even though it may seem trivial could be called petty by the person or people who are being corrected although that wouldn't be the case here on wikianswers as correcting others mistakes is all part of the wikianswers experience and so one that constantly corrects others mistakes here would be called one of the top editors.