Fix bug 3194