Small document fixes (Fixes #8).