Minor layout changes in doc.