dead code in getHighestDegree()