Two encode blocks inline in a text widget

I have a text widget at the top of my page that holds a single line of text which includes a phone number and an email address.

I have this in the widget:
[encode]+1 767 123 7890[/encode] [encode][email protected][/encode]

The plugin is set to html encoding.

The phone number is fine, the email address displays garbage, lots of raw code with &, # and numbers (I don’t know how to post the output here without it getting translated into something it does not look like).
If I look in page source, I see what I think is misformed encoding like starting with #&# or &&#.

The theme I’m using is “Responsive”. The only other plugin I have running at the time is Polylang. All at their latest versions.

Polylang might be significant, because the widget the above is in is bilingual through polylang. If I insert the same code in a regular page, it works fine.

It only goes wrong in the second encoded element on the line.

Thanks in advance for any insights.