Quick hack around IE bug