diff --git a/doc/installation.rst b/doc/installation.rst
index 0ce144eed80dcf9f48208204525ac89f73987469..1078ab377b03c512db72c8b516d02effc9cd94f6 100644
--- a/doc/installation.rst
+++ b/doc/installation.rst
@@ -159,7 +159,7 @@ Fedora Linux
 ------------
 
 The RPM packages for Knot DNS are available in official Fedora
-repositories since Fedora 18 (Spherical Cow). Look for ``knot``
+repositories since Fedora 18 (Spherical Cow). Search for the ``knot``
 package in your package manager. To install the package using Yum, run
 the following command as the root user::