notifications: make jshint happy