Fix a broken include in the configuration documentation.

Change-Id: I803caea42365e44851068e510d5e698447aad73b
Merge "Fix a broken include in the configuration documentation."