On further investigation, this seems to be an issue with certain browsers. The Google search facility on the main site works fine with Firefox, but fails with Opera, and also fails with a Linux browser called Konqueror. I'm going to check it on a friend's XP machine with Internet Explorer.