fixed a serious bug in PushPresentationByIsomorphism