Original: The name Jerry was not retired , and is included on the list of names for the 2013 Atlantic hurricane season .
Simplified: Tropical Storm Jerry was the tenth named storm of the 2007 Atlantic hurricane season .