updated during scope highlighting