You didn't have to spend the time on making a demote request, perhaps give a reminder next time if he's uncloaked and no clipping. This is minor so I will take no action but to remind him to cloak next time.