Fix bug 883950