some minor changes in parsers