I committed the attached patch as obvious.


Yaakov