fix for spamassassin bug 7057