Fix bug 3034