Yes. I have realized this when I wrote the comment, and tried to use the "stopped working" instead. But in my infinite wisdom I found it appropriate not to dele

Yes. I have realized this when I wrote the comment, and tried to use the "stopped working" instead. But in my infinite wisdom I found it appropriate not to delete completely the original "dried out" words before posting.