Fix incorrect notation