make a few needed changes in parser.h