Right, deleting in my next PR (I am submitting later today).