Typo correction; no functional change.