Documentation improvement

Fixing a small typo in the documentation.