fix small errs
Merge branch 'master' of https://github.com/liber145/SML-lectures