I think the mailing list was incorrect