Tortoise: update comment
Tortoise: fix regression in handling of `let`