Fixes IE bug and follows coding style

Fixes IE bug where options could not be selected by mouse. Also moved
stuff to follow original coding style.