minor cosmetic change to source of parser