On Sun, Nov 10, 2013 at 01:16:53PM -0800, Christopher Smith wrote:
>    I don't think this is right. I think you mean:

Yep.  I'll revert c819170 and 6be834d.