Fix possible cause of args bug found by nwc10++.