More debugging for bug 850803