Was this deleted intentionally?  It's used on line 439... is it just defined somewhere else now?