Fixed bug left over from removal of XORing