Little docs fix
minor #673 Little docs fix (keradus)

This PR was merged into the 1.0.x-dev branch.

Discussion
----------

Little docs fix

Commits
-------

60913ed Little docs fix