Minor changes in parser.js