The first part of this comment is redundant and should be removed.