am 11dba787: Merge "Fix build (broken documentation link)"

* commit '11dba787e10ff5ddc27e834db42acefa33cd35be':
  Fix build (broken documentation link)