bugfix: Notifier.java