Minor doc edit.