cosmetic tweaks

Authored by camiloh on Oct 28 2019, 12:10 AM.