tiny simplification in Parser