Also, the returned text is visible in the UI, and so should be internationalized (although this isn't the only place in Econsensus which fails to do this)