Bug fixes. Now readLines() works properly.