Update VuduStateMachine.js