am 94878185: Fix build break due to bad merge

* commit '94878185d98e3daf0de62899e7c7f9ed4047441f':
  Fix build break due to bad merge