Minor bugfix

5 jobs for v1.3.5 in 1 minute and 58 seconds (queued for 6 seconds)
latest