Minor style amends