removed redundant DIGIHISt3 definition