Fix bug 3039