Add space in dryrundocs

Fixes #695.