Typo, and some further elaboration.