Update Dispatcher.php

PHPdocs fix