Minor enhancement to documentation.