Fixing a typo in the documentation
Merge commit '28456273e8683c1077b5347cdaa7e042f6433188' into HEAD