hyperdex: fix minor typo.