Fix bug 3009