As per our IRC conversation (recently), agreed, nothing needs changing here.