Aha, this was just a duplicate file then.