fixes to argsdef