I agree it looks superfluous.