Correction to "Optimal State Assignment for Finite State Machines"