#87: Fixing IE problem.