Polish docs after last merge