minor fix: reverse nested synchronisation scope scan