Simple change in HelloWorld

Added a line...