Fix duplicate notification in Travis