js kludge regarding options never showing.

fixed bug 1290