Fixed bug in Trans.invert(Trans3)