Fix bug 3159