Fix in second isomorphism algorithm, pointed out by Review 1