Fix bug 3035