Fixes bug with run_current_uthread()