small polish and corrections