some small style tweaks