diff --git a/coq.spec b/coq.spec
index cf166bb..2b06ffd 100644
--- a/coq.spec
+++ b/coq.spec
@@ -196,7 +196,7 @@ cp -p proofs/decl_expr.cmi %{buildroot}%{coqdatadir}/proofs
 
 # Make a MIME type for .v files
 mkdir -p %{buildroot}%{_datadir}/mime/packages
-cp -p %{SOURCE3} %{buildroot}%{_datadir}/mime/packages
+cp -p %{SOURCE4} %{buildroot}%{_datadir}/mime/packages
 
 # Install main Coq .v files
 for f in `find plugins theories -name '*.v' -type f`; do