Minor fixes and linting.

7 jobs for v0.8.0-bugfixes in 22 minutes and 29 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed build #1080507

00:13:07

 
  Test
passed gui_linting #1080509

00:01:36

passed install_tests #1080511

00:05:43

passed linting #1080508

00:05:27

passed tests #1080510

00:09:21

79.0%
 
  Deploy
manual deploy #1080512
allowed to fail manual
 
  Release
manual release #1080513
allowed to fail manual