Slight fix to notation