small style-related tweaks