some more instructions and a fix for dispatches