Fixes notification.js indentation #266.