Update copyright year.

I made a few small changes in 2013.