correct small possible problem in casting time between dump