Update version number headers in the files.

This is a good practice. I'd forgotten to update them on the version
bumps, but will hopefully start to do so, from now on.