Fix bug 3058