Editing minor things.