diff -r ac24aaf84a36 -r 742f8e703780 NEWS
--- a/NEWS	Wed May 22 22:18:45 2019 +0200
+++ b/NEWS	Mon May 27 16:47:17 2019 +0200
@@ -129,7 +129,7 @@
 presentation context or to emit markup to the PIDE document. Some
 predefined markers are taken from the Dublin Core Metadata Initiative,
 e.g. \<^marker>\<open>contributor arg\<close> or \<^marker>\<open>license arg\<close> and produce PIDE markup that
-can retrieved from the document database.
+can be retrieved from the document database.
 
 * Old-style command tags %name are re-interpreted as markers with
 proof-scope \<^marker>\<open>tag (proof) name\<close> and produce LaTeX environments as