fix rename typo.
trace-let test passes.