Fix bug 3067