Editing: fix-letrec.go