Added explicite options to all calls to traverse()