Dec. 14, 2022, 8:30 a.m. -  Dave Tolnai

Ya.  There was some weird artifact from my cut/paste into the system.  Fixed now!