Yeah, I did a copy-paste error there. That file has mixed tabs/spaces, which is something I dislike quite a bit -- maybe I'll do a whitespace cleanup patch sometime.