I now suspect I had not logged out and back in again between updating gnome-shell and having the error. I was therefore probably running the earlier version of the shell at the time the error occurred. Sorry for the noise -- Alan Chandler http://www.chandlerfamily.org.uk