Minor bug fix in the Hello World program