It seems there was a problem with file permissions: running the Disk Utility's permission repair option made the problem go away. Thanks to everyone who offered suggestions. Bill McCallum