typo broke half of the annotation propagation; now fixed