Bug fix: read_line did not read full line but just first token (fix thanks to Andreas Klemenz)