#143: html_form.js, close all 'option' tag elements

Resolves #143.