Minor mods to fix bugs in specs