Fix some docs formatting.