Issue #9: fix mangling of drop down text in IE