Add a few lines to HelloWorld.md