Augmentations to sage conversion, and getting rid of
an unnecessary factor.