Is h-cobordism theorem true on smooth category?

On h-coobrdism page of Wikipedia, it says that h-cobordism theory is true for smooth category. As far as I know, it would imply that smooth Poincare conjecture is true for dimension greater than 6, which is not true by milnor. Is the Wikipedia page is wrong or am I doing something wrong?

-