Sure.  I'm happy to remove it from this PR.