Minor documentation fixes.

Fixes #316