I think this is leftover from something in my original attempt. I don't think it is necessary. I will remove it.