For some reason, it never clicked ;-) that I could use the List Management -- Manage Subscribers WEB interface to change a subscription (RFC822) address (though I knew I could use it to change a name). Instead I would use an explicit CHANGE command. /Pete