Back-end support for #213: delete annotation

(These back-end changes are required for issue #213 )