Small style modifications and corrections