Original: As it moved over cooler waters, it weakened slightly to a tropical storm late on July 19.
Simplified: As it moved over cooler waters, it weakened a bit to a tropical storm late on July 19.