If this is not needed we should remove not comment it out. We can refer to the git history to understand why.