Minor edit (no effects)