A few style corrections.