another typo, small improvement