officeren hade gifvit order , att två män skulle piskas för någon obetydlig förseelse.