Documentation: Fix example code snippet in Hello World tutorial

Documentation: Fix example code snippet in Hello World tutorial #1880