Merge branch 'dev' of github.com:cismet/cids-navigator into dev
minor jalopy changes
Merge branch 'dev' of github.com:cismet/cids-navigator into dev