Documentation typesetting improvements and editing.