Optimized rendering of annotations with isolate-value. Fixes #383