Fix wrong repository in file header.