Remove spurious change to Hello World