Fix bug 3260