Fix a "make doc" warning
Merge remote-tracking branch 'origin/fastpath'

* origin/fastpath:
  Fix a "make doc" warning
Updating submodule(s).

 [nomail]