Fix bug 3015