canonicalization seems to work, at last