Merge branch 'v0.8.0-bugfixes' into 'v0.8.0'

V0.8.0 bugfixes

See merge request !109
7 jobs for v0.8.0 in 20 minutes and 9 seconds (queued for 3 seconds)