Github 1315

Correcting a few typos in the commit messages of #1315.