Fix bug 3127