Fix documentation

Change-Id: I22fafa7cbd4cc7e260b02a2a31ca5a84c1222251