(sigh! fix a comment typo of my own this time)