Original: As Tropical Storm Jose formed so close to shore there was a lead time of less than 9 hours on the tropical storm warning for the Veracruz coastline.
Simplified: Because Tropical Storm Jose formed so close to shore, there was only a lead time of less than 9 hours on the tropical storm warning given out on September 22 for the Veracruz coastline.