small style changes [Fixes #83208768]