Fix the examples in the documentation of letrec