fixed notation: