Further simplifications.