Fix bug 3191