Fix egregious bug in SetLevels.notWorthFloating