minimized IE-specific code