Fixes

Author: javiereguiluz

reference/configuration/kernel.rst

@@ -191,7 +191,7 @@ method of the kernel class, which you can override to return a different value::
 ``kernel.debug``
 ----------------
 
-**type**: ``bool`` **default**: (the value is passed as an argument when booting the kernel)
+**type**: ``boolean`` **default**: (the value is passed as an argument when booting the kernel)
 
 This parameter stores the value of the current :ref:`debug mode <debug-mode>`
 used by the application.
@@ -294,8 +294,8 @@ have deleted it entirely (for example in the production servers), override the
 This parameter stores the name of the current :doc:`runtime environment </components/runtime>`
 used by the application.
 
-This value defines defines the place where the application is deployed, whereas
-the :ref:`kernel.environment <configuration-kernel-environment>` option defines
+This value defines the place where the application is deployed, whereas the
+:ref:`kernel.environment <configuration-kernel-environment>` option defines
 the configuration options used to run the application. This allows for example
 to run an application with the ``prod`` config (``kernel.environment``) in different
 scenarios like ``staging`` or ``production`` (``kernel.runtime_environment``).
@@ -321,7 +321,7 @@ This parameter stores the value of
 :ref:`the framework.trusted_hosts parameter <configuration-framework-trusted-hosts>`.
 
 ``kernel.trusted_proxies``
-------------------------
+--------------------------
 
 This parameter stores the value of
 :ref:`the framework.trusted_proxies parameter <configuration-framework-trusted-proxies>`.