Oops. I found the bug and fixed it.