Fix bug 884769