small minor fixes ...
Merge branch 'development' of https://github.com/revbayes/code into development