Fix bug 3255