Fix ST_TIN documentation