fixes #3287: minor styling fixes on main.