am 9b650702: Merge "Fix state transition verification." into klp-dev

* commit '9b650702113f8a17e09940c3802de71a9fc62ff1':
  Fix state transition verification.