notifications: make jslint happy