Deleting out-of-date duplicate.