adapted code to new Readline changes in RichReader.scala