slight style tweaks