helloworld: fixes after comments by guitarman@