Minor fixes.

6 jobs for migration in 24 minutes and 13 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build
passed build #750542

00:13:30

passed buildgui #750543

00:01:00

 
  Test
passed linting #750544

00:02:03

passed tests #750545

00:07:21

82.0%
 
  Release
passed release #750546
manual

00:00:17

 
  Deploy
manual deploy #750547
allowed to fail manual