I think we should remove this line entirely. If it's unnecessary (and, it ought to be), keeping it around just adds confusion ("why is it commented out? should it have been removed, or was it a mistake, or??")