am 4bb047fa: Fix build after bad merge resolution

* commit '4bb047fa5e6d43a027bfe1dfe23b3541e3910a31':
  Fix build after bad merge resolution