Fixing the getSerializedSize method of a MutableRoaringBitmap