Polishing some docs