* Fixing bad canonicalization.