Minor deletion.