A few fixed to compute_class_groups.sage