Extend comment to explain the transitions to and from state 4