small fix up in mighthive