Fixed in bug in vector::operator==