Is this a semantically-not-significant change?