Update again

I had some uncommitted changes in the source during the last commit, and
those snuck into the generated content. This commit gets rid of that.