Potentially fixed a bug in StringReader.readPattern.