More documentation polishing.