bugfix on RangeBucketMap and appropriate unit test for the problem in the future