Dennis Laumen We who cut mere stones must always be envisioning cathedrals

Quick fix

This was the big news before I went to sleep yesterday.

And when I woke up this morning it was already fixed.