another typo fix, found by a user