I goofed.  Here's another test that proves the code is okay.