some cleanup
Merge branch 'develop' of github.com:michaelaye/diviner into develop