Minor fix

15 jobs for testing in 143 minutes and 43 seconds (queued for 8 seconds)