am 218ecd43: Fix the docs build

* commit '218ecd43946001f07b60757db130ef5585d474d3':
  Fix the docs build