Update bucket.hpp