Fix bug 2876