Fixing empty return of run_check