am 01f42639: Merge "fix typo in docs"

* commit '01f42639f21ec98feb5e5d458632a1a1005b17e8':
  fix typo in docs