Some extra tweaks to manydiff and superdiff