Adjusted to new version of traversable