Minor fixups to equality doc