small code style tweaks