Fix bug in saving jumptimes.