Bugfix in ParserError