Good catch!  I think you're right, it's probably not necessary.