Did the tornado in Tyler do any damage?