bugfixes in terminology script

1 job for terminology-rieks in 2 minutes and 5 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #46069
build

00:02:05