fixed unnecessary addition of dead state