Fix bug 3179