Minor doc format changes