minor fix

2 jobs for master in 7 minutes and 17 seconds (queued for 29 seconds)