Fixes for IE 10, cleanup.