Further documentation edits.