fix for bug #3410