Two more small changes to fix IE 9 bugs.