hlevels: refer correctly to types of infinite h-level