small changes
Merge branch 'Development' of https://github.com/christiaanjanssen/DesKundig into Development