Merge pull request #1017 from etienne-lms/minor-docs
authordavidcunado-arm <david.cunado@arm.com>
Wed, 23 Aug 2017 16:23:15 +0000 (17:23 +0100)
committerGitHub <noreply@github.com>
Wed, 23 Aug 2017 16:23:15 +0000 (17:23 +0100)
Minor docs


Trivial merge