revise statemachine document