polismän hade då sårats af stenkastning.