SOrry about that. I added that to try to debug some intermittent strangeness in notifications.
Should be fixed now.