Improve a test case for run(). (It has already GREEN).