Trivial change: updated copyright comments for 2013.