a few changes to verbmath mods