Correctly update the navigational tree when navigating between modules