Oops good catch.  I pushed another commit that removes this.