Fixed equals method in DefTimeInterval