Is this a mistake? Can we remove it or should this be uncommented?