tweak to GenHypType.cc