Fix https://github.com/hdiv/hdiv/pull/57