A few minor tweaks to style