a couple of style tweaks