delete (see MovableType)