Original: Early on November 2 , Tropical Storm Tomas re-intensified slightly , but later weakened to a tropical depression .
Simplified: On November 3 , it weakened into Tropical Depression Tomas .