Looking at the diff on github, these lines seem repeated. I don't understand. Is there a reason, or is this just a oversight?