My mistake, it looks more like a fix of style. Of course It should have been a separate commit.