Email notification problem should be fixed

[wgross]

See https://meta.discourse.org/t/not-receiving-email-notifications/16937.