am 9c22afe8: Fix a bad merge.

* commit '9c22afe8538cd8c849d0393751bf5bc4997bc632':
  Fix a bad merge.