Um ... never mind ... I forgot that I originally decided against using
the worksheet_change event, and instead used a conditional formatting
trick to accomplish what I wanted. So there never was any
worksheet_change code. Oops.