fix a bug in DtmModel where times was not set correctly