i'd say remove it, but not a big deal either way