changes to fsm2.dot