Fix doc formatting.