few other style tweaks