Small enhancement in "Hello, World!" tutorial from the AngularJS cookbook