Minor bugfix to AJAX Pagetree