Fix minor typo found by Shinjo Park

2 jobs for master in 14 minutes and 52 seconds (queued for 31 minutes and 7 seconds)