Cosmetic change: removed commented-out lines.