am 837cea4b: fix bad merge

* commit '837cea4bd73a38f4688091fc5767d7e2b7ec832b':
  fix bad merge