This is pathetic, he made a very minor thing and you are reporting him for it.
What do you think is going to happen? Do you really think he will get demoted for something so minor that had a very little chance of effecting the outcome?