this addresses bug #8332