Make corrections to equality statements