Fix bug 3192