Change E-Mail Address for a User

If an admin changes a users email address on their behalf, there is no mail sent to the original address, only to the new address.