Document

Minor changes too.

Fixes #44.