better styling on IE warning #623