Yet another doc edit.