[amsat-bb] AMSAT BB list configuration change?

I've suddenly started receiving AMSAT BB traffic in my main INBOX which means my filter has stopped catching and routing the messages.

My filter looks at the header field "List-Id" and sorts according to matches it makes there.

I now see traffic coming from the list with this List-ID,

List-Id: AMSAT-NA Bulletin Board Mailing List <amsat-bb.amast.org> ^^^^^

and that doesn't match the group formerly known as amsat.org

I think someone typo'd something there. Can we fix it?