more small style tweaks