Minor docs changes

As a follow-up on #65