fix highstate output
Merge pull request #12411 from makinacorpus/ff2

fix highstate output