More documentation polishing