FSM doc updated.