remove a comment on a notation that was removed