Update traverser.h