replace a few `let*`s with `let`s