minor semantic change that has no implication whatsoever