more doc formatting improvements