Made some arrows clearer in the fsm