Yesterday's launch of mini-Hang Seng Index options was a quiet debut with 171 contracts traded. Investors preferred to trade the normal sized HSI options as 7,727 contracts changed hands. The muted debut could have been a result of a technical problem that some information vendors experienced.
