HNF subroutine spec was incorrect, fixed