Yes, this is (also) a very minor style fix.