More hyperdex improvements