Minor fix.

4 jobs for logging in 6 minutes and 26 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #645286
build

00:01:57

passed #645287
buildgui

00:00:54

 
  Test
passed #645288
linting

00:00:55

passed #645289
tests

00:02:39

77.0%