Some style corrections