Minor point, but the conditional on this comment is no longer relevant.