On October 1 it became `` post-tropical '' as it moved over cooler waters .
On October 1 it became `` post-tropical '' ( in the forecaster 's words ) as it moved over cooler waters .