I'm puzzled by this change and the one above it.