to lowercase and fix a TokenStream bug.