Some documentation fixes.

Fix #25.