small IE fix. *sigh!*