More docs formatting