Correct typo in documentation

This is a fix for a small typo I found in the docs.