Yes they should.  Good catch.