HTML encoding needed on options