Like others said, could be age, could be OCD symptoms. I can remember suffering OCD symptoms as young as 5, of course at that time I couldn't explain my feelings or the behaviors. I wouldn't worry to much but his parents should probably keep an eye on these symptoms and others and keep track of their severity. If similar symptoms start to happen as he's growing up they'll probably want to talk to a doctor about it.

I hope things turn out okay