small updates

1 job for terminology-rieks in 1 minute and 55 seconds (queued for 2 seconds)