2010 May, 17 (RoyK)

  Index: move.php
===================================================================
--- move.php    (revision 19321)
+++ move.php    (working copy)
@@ -57,7 +57,7 @@
                     {
                         if ($page['@id'] == $pageId)
                         {
-                            $location = $page['path'];
+                            $location = isset($page['path']['#text']) ? $page['path']['#text']: $page['path'];
                             if (strncmp($location, '/', 1) != 0)
                             {
                                 $location = '/' . $location;