Fixed mismatches with generated files (another spot)

Extra changes for commit 034c1f4.