Correction for state count calculation