Documentation work.

Fixes #276.