hashdev minor fix