double notification is not really something we need.