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

* commit '8a5252fb46b279b713eef1f19e0a2c1f14d6f23e':
  Fix a bad merge.