fix for bug 3252