Minor documentation tweaks.

Fixes issue #17.