minor tweak to app/views/hello.php