Fix bug 3256