am 0f0b7160: am e53fe4a4: Merge "Fixed a documentation Bug (Issue 9236)"

Merge commit '0f0b71600b658c2c1a5cac63cb402f9ea443cb30'

* commit '0f0b71600b658c2c1a5cac63cb402f9ea443cb30':
  Fixed a documentation Bug (Issue 9236)