small change to prevent segfault in some transitions time specifications