Minor format changes and doc.