Fix *LEXENV*'s in README