Fix bug in /bin/hello