This "informal", on-the-spot type of discipline was typically not recorded in the official punishment register, as it was not seen as sufficiently serious to be classified as real corporal punishment.
The lack of formal documentation for informal disciplinary actions highlights that they were seen as less severe than official corporal punishment.