Fixed bug #7637: Page tree fails to reload properly if page was manipulated