refactoring: readLine is a nicer name for this