temporary fix for isomorphism checks