change MIXED_INTERVALS capitalization back to 4.3