Bug fix: the remark about `let..in` as syntactic sugar is erroneous.