Fix a minor doc build warning

Change-Id: I557175527541214fe2e75f632d2b203f79054c4a