minor fixes

2 jobs for dev in 3 minutes and 40 seconds (queued for 5 seconds)
latest