In any case, consider this issue closed.