Change notation to avoid confusion