Fix eigen-3.2.0
Always push notes even if no notes have been pushed yet