Fix document __ne__