Small fixes in the documentation

Change-Id: I3f4efbcf2dadc3d597c515a49d04c3f5d46df65e