* Issue #14: Update the documentation.