fixed bug where in-args given uniquified names