fixed a notation typo