Fixed a bug in BoundedBuffer in the IsFull method