If uncommented, it's not needed. If not needed, we should remove it.