Edits to equality docs