stupid bug fix in BufferedParser