fix arg printing in proc