See comment in add()