Update a forgotten file. I promise, once we have a release, we'll begin checking more stringently before commits.