Documentation for dispatch checked