Haha, oops.  Pushed a new commit to remove that.  I will squash all these patches into one commit and sign it once it's ready for merge.