a small IE fix