[#7309] Minor formatting fixes
4 files changed