Minor docummentation edits.