I see no reason not to do such small change in this PR?