Fixes to run_all_spec