change some minor things from meeting 5/17