Minor doc editing.