Fix ex8, ex9 into code tag