Somehow that change didn't seem to propagate.  (User error.)