Merge "Minor MarkDown fixes to display properly on GitHub"

Thanks to original commit:
Signed-off-by: Gianpaolo Macario <gianpaolo_macario@mentor.com>
8f23e307ab298627905c45b9d7f82348d8a66219

My history had changed a bit (I probably rebased something)
so it was easier to do a manual merge.
Merge master branch