fix false positive in the hello-world.txt test