Doc. Fixes #5