Fix typo in highstate outputter
Merge pull request #19279 from cachedout/highstate_output_bug

Fix typo in highstate outputter