fix incorrect notation