This is harmless, but I'd probably omit it on grounds of overkill.