Bugfixes for TRIKStudio 3.0.0-rc1