minor corrections to discussion
Merge branch 'master' into compile
texit to textit
Merge branch 'master' into compile
build