A few random simplifications.