Editing: RequestExceptionInterface.php