Very minor improvements in doc, formatting