Fix ex_8_spec
Example 9 complete