Fix bug 3012