small correction of typo