Fix an "oops" typo! Well, it was a debugging left-over...