diff --git a/configuration/multiple_kernels.rst b/configuration/multiple_kernels.rst
index 4cef8b0d09e..512ea57f24d 100644
--- a/configuration/multiple_kernels.rst
+++ b/configuration/multiple_kernels.rst
@@ -117,7 +117,9 @@ resources::
     // src/Kernel.php
     namespace Shared;
 
+    use Symfony\Bundle\FrameworkBundle\Kernel\MicroKernelTrait;
     use Symfony\Component\DependencyInjection\Loader\Configurator\ContainerConfigurator;
+    use Symfony\Component\HttpKernel\Kernel as BaseKernel;
     use Symfony\Component\Routing\Loader\Configurator\RoutingConfigurator;
 
     class Kernel extends BaseKernel
@@ -258,6 +260,7 @@ the application ID to run under CLI context::
 
     // bin/console
     use Shared\Kernel;
+    use Symfony\Bundle\FrameworkBundle\Console\Application;
     use Symfony\Component\Console\Input\InputInterface;
     use Symfony\Component\Console\Input\InputOption;