I changed the body of the spec back in dbe22d20779c59228b1c825f525e9d58b949ec57 -- see my commit message for why.  I realize now that when I said

> I think the body of the spec you have is fine 

...it could be interpreted to mean the body of the edited spec in your comment, but I meant the original spec.