This fixes up the differences between the versions of modulinos.