#235 fix the syntax of the exception notifier, so that it properly reads the options