Well,I have had this checked and the server is running the latest release :
libxml2 2.7.3 which according to that report is the version that cures the bug.
I edited the file on the three affected lines as you suggested which seems to have cured the error,odd though that all the other menu items were working and needed no change.