Drat!  Copy-paste is good, but can also be very bad.  I will fix it.  Thanks for spotting it.