am 34f930f3: Fix build due to docs bug. DO NOT MERGE

* commit '34f930f3b591f08ee4be8c2f54ee602cabdacc33':
  Fix build due to docs bug. DO NOT MERGE