Is this change correct? I don't understand it...