fixed some minor nits in GenHypType.cc