I trust that you are correct on that. I still recommend deleting the redundant one.