Update CONTRIBUTING.md

Author: clausjensen

CONTRIBUTING.md

@@ -30,7 +30,7 @@ Good bug reports are extremely helpful - thank you!
 
 Guidelines for bug reports:
 
-1. **Use the GitHub issue search** — check if the issue has already been
+1. **Use the search function** — check if the issue has already been
    reported.
 
 2. **Check if the issue has been fixed** — try to reproduce it using the
@@ -139,4 +139,4 @@ project:
     with a clear title and description.
 
 **IMPORTANT**: By submitting a patch, you agree to allow the project owner to
-license your work under the same license as that used by the project.
+license your work under the same license as that used by the project.