Fix typo in highstate outputter