Add missing return, to fix the Windows build

2 jobs for master in 37 minutes and 50 seconds (queued for 5 minutes and 12 seconds)