Whoops. I guess I only fixed this on my local copy.