Fix typos in FSM
Add semicolon