Another doc formatting change