Doc fix
Undocument obsolete form of "let"