strange 'main args' 'values do not match' error; need to resolve at office hours