Minor style updates and corrections