Fixing notation: