Updated documentation.

This is for #33.