Ah, yes. Good catch. Those lines don't seem to be doing any harm, but they are not needed any more. Removed.