Fix a documentation editing error.
1 file changed