small fix in dispatcher