Docs correction

Fixes #836