Fix bug 3006