Fix bug 3195