Proposed fixes for AngularJS