Doc fix. Fixes #11