Fix for bug 1040673