Bugfix for bug 11632: `readLitChar` should consume null characters