Fix typo in execution_output.txt