Minor changes.
Merge branch 'develop' of github.com:gregreen/bayestar into develop
Fixing problem in git history