A small change as the title describes. @fwinkl, if this is not worthwhile, I can just close the MR. :)