stylistic fixes
fixed border case in KnownAutomorphisms