36add7570a
it looks like my previous pull request was short the final commit; fix a typo in sdot
it looks like my previous pull request was short the final commit; fix a typo in sdot