Minor bug fix for IE

A very small correction caught by Google's Closure.