Bug fixes for hetf2.h