minor MO highlight fix for sub styling (nested synchronisation granularity)