Fix notation in notebook on FSM.