minor fixes in ##args.