Fix reversing commutes