Merge pull request #129 from ARMmbed/small_documentation_fix

Documentation fix