This is undefined when we copy a user without deleting the old one