Maybe we should start to use "2014" in the copyright header for new files (and adjust will be needed in the checking headers scripts, but it should be easy).