This file (among several ones in the PR) are actually renamed, but github interface interprets it as a deletion + new file creation. Thus 2013 is fine in this case.

NTC