Yes, it's simpler, thanks. MR updated.