Redundant second notification no longer generated.

Resolves issue #136.