Fix a typo in typespec doc