Fixing clean_results and start_verifier