Fix a bug of notation