Update run_mixed_code.html