clarified status of n in def of isofhlevel