diff --git a/coq.spec b/coq.spec
index b8a4461..b11211c 100644
--- a/coq.spec
+++ b/coq.spec
@@ -40,7 +40,7 @@ Patch0:         %{name}-gdk.patch
 BuildRequires:  ocaml, ocaml-camlp5-devel, ocaml-lablgtk-devel
 BuildRequires:  desktop-file-utils, emacs-nox, emacs-proofgeneral
 # For documentation
-BuildRequires:  tex(latex)
+BuildRequires:  tex(latex), tex(comment.sty)
 %if %{build_html}
 BuildRequires:  hevea
 %endif
@@ -309,6 +309,7 @@ mktexlsr &> /dev/null
 * Wed Oct 17 2012 Jerry James <loganjerry@gmail.com> - 8.4-2
 - Rebuild for OCaml 4.00.1
 - Support more GDK key modifiers in the IDE (hyper, meta, release, super)
+- BR tex(comment.sty) due to the new texlive package layout
 
 * Tue Aug 21 2012 Jerry James <loganjerry@gmail.com> - 8.4-1
 - New upstream release