hade då nöjt sig med att gifva honom ett disciplinärstraff.