minor changes to defs file