Minor tweak related to AngularJS