Fix bug 876772