Fix erroneous link in user guide (FSM).