Remove mysterious commented-out code