This comment needs to be relocated to the `clearDFA` method below.