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.