Like I said in the class, we can't change the parameters that user-supplied callbacks are called with. (Or at least, we shouldn't right now.)