Completes the doc.

This fixes issue #5.