Fix documentation

Change-Id: If0f0f3cffdcf8b135a35b24fd393241b4193d0dc