bugfixes of state machine documentation