[minor] style tweaks