Merge pull request #1258 from haberman/releasenotes

Some fixes for the most recent release notes.