[TRIVIAL] Documentation edit.