a few small style tweaks