Fix notification script.

Fixes #5419