Fix typo in docs.

Closes #1247.