State machine debugging and correction done