I'm sorry about this. I think I was half asleep when I pushed my commits, not realizing that they would be added to the pull request. I'm aware of the contributing guidelines and will update when I have a chance.