minor corrections about equalities