am 43dc8e5e: am 8a5252fb: am 2a67840c: Fix a bad merge.

* commit '43dc8e5ecefa7bb75b5f5223cc407e5e48af7ec2':
  Fix a bad merge.