HelloWorld plugin: small fix