some style corrections