Minor style tweaks