I added the comment in response to your concern (and introduced the typo at that point). :-)