[cosmetics] Slight improvements in doc