Merge "Fix a doc indentation bug."