a bit of styling and error fixing
Merge branch 'development' of https://github.com/openworm/org.geppetto.frontend.git into development