remove some unused pragmas
factored out Colim