fixed nasty bug in standard text reader triggered by random generated test input in rascal tests