Yeah, I was going to wait for him to accept my first pull request (apparently anything you push to master will get included in the pull request) rather than having all of my updates pile into the same PR, but I'm tired of waiting, so I just pushed it.