More docs formatting fixes