proper Hello World! message