test of an issue reported by Michael on the mailing list