Minor correction to DFA diagram

Labels now match enum values more closely.