Oops! Well, can't edit it now; too late for that. And doesn't really matter: it was just illustrative of the style.