remove redundant (I think\!) instance of Update, which is not in the paper