handle argument lists of mismatched lengths

and some small fixes
(with Jules, NikosT, Rasmus)