minor tweaks: Lexical analysis with readers and streams in ML