Minor edits
Merge pull request #443 from hjwylde/devel-smt

Minor edits