delay backannotation: verified for GCD
minor revision