Greg Hewgill informs me that the problem another user had reported