fixed a bug in SimpleTraverser.