I believe you. I was concerned it might be accidental. I don't think it matters much either, AFAIK it only affects how the widget is shown in the designer.