Fixes #6309: Fixes notify_user() broken by 63db31c