Debugging patch for bug 968200