some simplifications