Fixed in 501ff46ffe922b1aeef5026503266fcf3d4b5693, but I made these changes before that, and it got lost when I rebased.  Thanks.