Fix a 'whitespace' bug in the dispatcher