Accidentally deleted the wrong file just before a commit..