- Small fix to notation