tiny fix to state machine readme