This comment is no longer relevant.