diff --git a/dune-project b/dune-project
index 4d2b9186..89ad5c2f 100644
--- a/dune-project
+++ b/dune-project
@@ -28,8 +28,13 @@
 
 (package
  (name smtml)
- (synopsis "An SMT solver frontend for OCaml.")
- (description "Smt.ml is an SMT solver frontend for OCaml that simplifies integration with various solvers through a consistent interface. Its parametric encoding facilitates the easy addition of new solver backends, while optimisations like formula simplification, result caching, and detailed error feedback enhance performance and usability.")
+ (synopsis "An SMT solver frontend for OCaml")
+ (description "Smt.ml is an SMT solver frontend for OCaml that simplifies \
+              integration with various solvers through a consistent interface. \
+              Its parametric encoding facilitates the easy addition of new \
+              solver backends, while optimisations like formula simplification, \
+              result caching, and detailed error feedback enhance performance \
+              and usability.")
  ; Optional solver dependencies
  ; Change here sould be mirrored in "conflicts"
  (depopts
diff --git a/smtml.opam b/smtml.opam
index 399fac6b..3d0c1fad 100644
--- a/smtml.opam
+++ b/smtml.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-synopsis: "An SMT solver frontend for OCaml."
+synopsis: "An SMT solver frontend for OCaml"
 description:
   "Smt.ml is an SMT solver frontend for OCaml that simplifies integration with various solvers through a consistent interface. Its parametric encoding facilitates the easy addition of new solver backends, while optimisations like formula simplification, result caching, and detailed error feedback enhance performance and usability."
 maintainer: ["Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>"]