fixing a long-standing minor parsing discrepancy