Small changes to docs formatting