FIX history manager issues when changing the notation