OK, that bug wasn't a bug. We added a few more test cases and a ton of
debugging code. We'll remove the debugging code in the next commit.