Mea culpa, I edited this via web interface... will submit new version ASAP.