One day I'll stop finding typos (etc) in stuff I've already posted, but today is not that day.