Debugging code for bug 960760