Fix bug 2871