fix hello world for real this time