Second try to clean spaces in metadata.xml

Signed-off-by: Justin Lecher <jlec@gentoo.org>

27 files changed, 120 insertions, 120 deletions

diff --git a/sci-mathematics/Macaulay2/metadata.xml b/sci-mathematics/Macaulay2/metadata.xml
index a19ac4ea6..05e3f791a 100644
--- a/sci-mathematics/Macaulay2/metadata.xml
+++ b/sci-mathematics/Macaulay2/metadata.xml
@@ -13,7 +13,7 @@
 		<flag name="optimization">Disable to build with -O0 for debugging.</flag>
 	</use>
 	<longdescription lang="en">
-  Macaulay2 is a research tool for algraic geometry and commutative
-  algebra. 
+Macaulay2 is a research tool for algraic geometry and commutative
+algebra. 
 </longdescription>
 </pkgmetadata>
diff --git a/sci-mathematics/Oid/metadata.xml b/sci-mathematics/Oid/metadata.xml
index 1d93dd236..a457ecd20 100644
--- a/sci-mathematics/Oid/metadata.xml
+++ b/sci-mathematics/Oid/metadata.xml
@@ -10,6 +10,6 @@
 		<name>Gentoo Mathematics Project</name>
 	</maintainer>
 	<longdescription lang="en">
-  Oid is a tool to experiment with matroids
+Oid is a tool to experiment with matroids
 </longdescription>
 </pkgmetadata>
diff --git a/sci-mathematics/acl2/metadata.xml b/sci-mathematics/acl2/metadata.xml
index e2db827ec..b77817aa3 100644
--- a/sci-mathematics/acl2/metadata.xml
+++ b/sci-mathematics/acl2/metadata.xml
@@ -15,11 +15,11 @@ ACL2 is both a programming language in which you can model computer systems and
 a tool to help you prove properties of those models. ACL2 is part of the
 Boyer-Moore family of provers, for which its authors have received the 2005 ACM
 Software System Award.
-	</longdescription>
+</longdescription>
 	<use>
 		<flag name="books">
-	build community books, the canonical collection of open-source libraries
-		</flag>
+build community books, the canonical collection of open-source libraries
+</flag>
 	</use>
 	<upstream>
 		<remote-id type="github">acl2-devel/acl2-devel</remote-id>
diff --git a/sci-mathematics/alt-ergo/metadata.xml b/sci-mathematics/alt-ergo/metadata.xml
index b844eacad..a28eb2ec7 100644
--- a/sci-mathematics/alt-ergo/metadata.xml
+++ b/sci-mathematics/alt-ergo/metadata.xml
@@ -6,10 +6,10 @@
 		<name>Gentoo Mathematics Project</name>
 	</maintainer>
 	<longdescription>
-  Alt-Ergo is an open source automatic theorem prover dedicated to program verification.
-  It is an SMT solver based on CC(X): a congruence closure algorithm parameterized by an
-  equational theory X. Alt-Ergo is based on a home-made SAT-solver and implements an
-  instantiation mechanism for quantified formulas. Its architecture is summarized by the
-  the following picture.
+Alt-Ergo is an open source automatic theorem prover dedicated to program verification.
+It is an SMT solver based on CC(X): a congruence closure algorithm parameterized by an
+equational theory X. Alt-Ergo is based on a home-made SAT-solver and implements an
+instantiation mechanism for quantified formulas. Its architecture is summarized by the
+the following picture.
 </longdescription>
 </pkgmetadata>
diff --git a/sci-mathematics/apron/metadata.xml b/sci-mathematics/apron/metadata.xml
index d77f1f1fc..d31da6be0 100644
--- a/sci-mathematics/apron/metadata.xml
+++ b/sci-mathematics/apron/metadata.xml
@@ -6,13 +6,13 @@
 		<name>Gentoo Mathematics Project</name>
 	</maintainer>
 	<longdescription>
-  The APRON library is dedicated to the static analysis of the numerical
-  variables of a program by Abstract Interpretation. The aim of such an
-  analysis is to infer invariants about these variables. The APRON library
-  is intended to be a common interface to various underlying
-  libraries/abstract domains and to provide additional services that can
-  be implemented independently from the underlying library/abstract
-  domain, as shown by the poster on the right (presented at the SAS 2007
-  conference.
+The APRON library is dedicated to the static analysis of the numerical
+variables of a program by Abstract Interpretation. The aim of such an
+analysis is to infer invariants about these variables. The APRON library
+is intended to be a common interface to various underlying
+libraries/abstract domains and to provide additional services that can
+be implemented independently from the underlying library/abstract
+domain, as shown by the poster on the right (presented at the SAS 2007
+conference.
 </longdescription>
 </pkgmetadata>
diff --git a/sci-mathematics/burrtools/metadata.xml b/sci-mathematics/burrtools/metadata.xml
index aeaa6502a..a7fbeb904 100644
--- a/sci-mathematics/burrtools/metadata.xml
+++ b/sci-mathematics/burrtools/metadata.xml
@@ -6,11 +6,11 @@
 		<name>Gentoo Mathematics Project</name>
 	</maintainer>
 	<longdescription lang="en">
-  This (set of) program(s) will help you solve a certain kind of puzzle.
-  Namely puzzles that are made out of square or dice shaped units, spheres or
-  prisms with an equilateral triangle as base and where the pieces are also
-  aligned along those grids in the solutions.
-  </longdescription>
+This (set of) program(s) will help you solve a certain kind of puzzle.
+Namely puzzles that are made out of square or dice shaped units, spheres or
+prisms with an equilateral triangle as base and where the pieces are also
+aligned along those grids in the solutions.
+</longdescription>
 	<upstream>
 		<remote-id type="sourceforge">burrtools</remote-id>
 	</upstream>
diff --git a/sci-mathematics/cipi/metadata.xml b/sci-mathematics/cipi/metadata.xml
index ac95ce972..d570fe380 100644
--- a/sci-mathematics/cipi/metadata.xml
+++ b/sci-mathematics/cipi/metadata.xml
@@ -12,7 +12,7 @@
 	<longdescription lang="en">
 cipi is a threaded implementation of iterative proportional fitting. It is used to compute
 information projections iteratively.
-  </longdescription>
+</longdescription>
 	<upstream>
 		<remote-id type="github">tom111/cipi</remote-id>
 	</upstream>
diff --git a/sci-mathematics/dolfin/metadata.xml b/sci-mathematics/dolfin/metadata.xml
index f35a5e9a9..26a0480f0 100644
--- a/sci-mathematics/dolfin/metadata.xml
+++ b/sci-mathematics/dolfin/metadata.xml
@@ -7,7 +7,7 @@
 	</maintainer>
 	<longdescription lang="en">
 DOLFIN is the C++/Python interface of FEniCS, providing a consistent PSE (Problem Solving Environment) for ordinary and partial differential equations.
-  </longdescription>
+</longdescription>
 	<use>
 		<flag name="cgal">Adds support for geometric algorithms with <pkg>sci-mathematics/cgal</pkg></flag>
 		<flag name="cholmod">Adds support for sparse Cholesky factorization with <pkg>sci-libs/cholmod</pkg></flag>
diff --git a/sci-mathematics/dsfmt/metadata.xml b/sci-mathematics/dsfmt/metadata.xml
index f1ed0ae83..d2482ce5f 100644
--- a/sci-mathematics/dsfmt/metadata.xml
+++ b/sci-mathematics/dsfmt/metadata.xml
@@ -6,12 +6,12 @@
 		<name>Gentoo Mathematics Project</name>
 	</maintainer>
 	<longdescription lang="en">
-  The purpose of Double precision SIMD-oriented Fast Mersenne Twister (dSFMT)
-  is to speed up the generation by avoiding the expensive conversion
-  of integer to double (floating point). dSFMT directly generates
-  double precision floating point pseudorandom numbers which have the
-  IEEE Standard for Binary Floating-Point Arithmetic (ANSI/IEEE Std
-  754-1985) format. dSFMT is only available on the CPUs which use IEEE
-  754 format double precision floating point numbers.
+The purpose of Double precision SIMD-oriented Fast Mersenne Twister (dSFMT)
+is to speed up the generation by avoiding the expensive conversion
+of integer to double (floating point). dSFMT directly generates
+double precision floating point pseudorandom numbers which have the
+IEEE Standard for Binary Floating-Point Arithmetic (ANSI/IEEE Std
+754-1985) format. dSFMT is only available on the CPUs which use IEEE
+754 format double precision floating point numbers.
 </longdescription>
 </pkgmetadata>
diff --git a/sci-mathematics/flocq/metadata.xml b/sci-mathematics/flocq/metadata.xml
index 741e7a96c..de5ba354b 100644
--- a/sci-mathematics/flocq/metadata.xml
+++ b/sci-mathematics/flocq/metadata.xml
@@ -6,9 +6,9 @@
 		<name>Gentoo Mathematics Project</name>
 	</maintainer>
 	<longdescription>
-  Flocq (Floats for Coq) is a floating-point formalization for the Coq
-  system. It provides a comprehensive library of theorems on a multi-radix
-  multi-precision arithmetic. It also supports efficient numerical
-  computations inside Coq.
+Flocq (Floats for Coq) is a floating-point formalization for the Coq
+system. It provides a comprehensive library of theorems on a multi-radix
+multi-precision arithmetic. It also supports efficient numerical
+computations inside Coq.
 </longdescription>
 </pkgmetadata>
diff --git a/sci-mathematics/frama-c/metadata.xml b/sci-mathematics/frama-c/metadata.xml
index 7f2539fc0..6e6c849a1 100644
--- a/sci-mathematics/frama-c/metadata.xml
+++ b/sci-mathematics/frama-c/metadata.xml
@@ -6,12 +6,12 @@
 		<name>Gentoo Mathematics Project</name>
 	</maintainer>
 	<longdescription>
-  Frama-C is a suite of tools dedicated to the analysis of the source code
-  of software written in C. It gathers several static analysis techniques
-  in a single collaborative framework. The collaborative approach of
-  Frama-C allows static analyzers to build upon the results already
-  computed by other analyzers in the framework. Thanks to this approach,
-  Frama-C provides sophisticated tools, such as a slicer and dependency
-  analysis.
+Frama-C is a suite of tools dedicated to the analysis of the source code
+of software written in C. It gathers several static analysis techniques
+in a single collaborative framework. The collaborative approach of
+Frama-C allows static analyzers to build upon the results already
+computed by other analyzers in the framework. Thanks to this approach,
+Frama-C provides sophisticated tools, such as a slicer and dependency
+analysis.
 </longdescription>
 </pkgmetadata>
diff --git a/sci-mathematics/freefem++/metadata.xml b/sci-mathematics/freefem++/metadata.xml
index 7cbac49f7..a605d78d7 100644
--- a/sci-mathematics/freefem++/metadata.xml
+++ b/sci-mathematics/freefem++/metadata.xml
@@ -6,8 +6,8 @@
 		<name>Gentoo Mathematics Project</name>
 	</maintainer>
 	<longdescription lang="en">
-    FreeFem++ is an implementation of a language dedicated to the finite
-    element method. It enables you to solve Partial Differential Equations
-    (PDE) easily.
+FreeFem++ is an implementation of a language dedicated to the finite
+element method. It enables you to solve Partial Differential Equations
+(PDE) easily.
 </longdescription>
 </pkgmetadata>
diff --git a/sci-mathematics/gambit/metadata.xml b/sci-mathematics/gambit/metadata.xml
index e0ec892a5..c19ddfa46 100644
--- a/sci-mathematics/gambit/metadata.xml
+++ b/sci-mathematics/gambit/metadata.xml
@@ -11,8 +11,8 @@
 	</maintainer>
 	<use>
 		<flag name="X">
-  Enable gui support using wxWidgets.
-    </flag>
+Enable gui support using wxWidgets.
+</flag>
 	</use>
 	<upstream>
 		<remote-id type="sourceforge">gambit</remote-id>
diff --git a/sci-mathematics/gap/metadata.xml b/sci-mathematics/gap/metadata.xml
index 7fa3c9717..2d5c1a14d 100644
--- a/sci-mathematics/gap/metadata.xml
+++ b/sci-mathematics/gap/metadata.xml
@@ -10,14 +10,14 @@
 		<name>Gentoo Mathematics Project</name>
 	</maintainer>
 	<longdescription lang="en">
-  Groups, Algorithms, Programming is a system for computational
-  discrete algebra, with particular emphasis on Computational Group
-  Theory. GAP provides a  programming language, a library of thousands
-  of functions implementing algebraic algorithms written in the GAP
-  language as well as large data libraries of algebraic objects. GAP
-  is used in research and teaching for studying groups and their
-  representations, rings, vector spaces, algebras, combinatorial
-  structures, and more.
+Groups, Algorithms, Programming is a system for computational
+discrete algebra, with particular emphasis on Computational Group
+Theory. GAP provides a  programming language, a library of thousands
+of functions implementing algebraic algorithms written in the GAP
+language as well as large data libraries of algebraic objects. GAP
+is used in research and teaching for studying groups and their
+representations, rings, vector spaces, algebras, combinatorial
+structures, and more.
 </longdescription>
 	<use>
 		<flag name="xtom">Automatically generated description for xtom</flag>
diff --git a/sci-mathematics/gappa/metadata.xml b/sci-mathematics/gappa/metadata.xml
index 872d5ad20..448d16798 100644
--- a/sci-mathematics/gappa/metadata.xml
+++ b/sci-mathematics/gappa/metadata.xml
@@ -6,10 +6,10 @@
 		<name>Gentoo Mathematics Project</name>
 	</maintainer>
 	<longdescription>
-  Gappa is a tool intended to help verifying and formally proving
-  properties on numerical programs dealing with floating-point or
-  fixed-point arithmetic. It has been used to write robust floating-point
-  filters for CGAL and it is used to certify elementary functions in
-  CRlibm.
+Gappa is a tool intended to help verifying and formally proving
+properties on numerical programs dealing with floating-point or
+fixed-point arithmetic. It has been used to write robust floating-point
+filters for CGAL and it is used to certify elementary functions in
+CRlibm.
 </longdescription>
 </pkgmetadata>
diff --git a/sci-mathematics/gappalib-coq/metadata.xml b/sci-mathematics/gappalib-coq/metadata.xml
index ba444cb94..182ed0520 100644
--- a/sci-mathematics/gappalib-coq/metadata.xml
+++ b/sci-mathematics/gappalib-coq/metadata.xml
@@ -6,8 +6,8 @@
 		<name>Gentoo Mathematics Project</name>
 	</maintainer>
 	<longdescription>
-  While Gappa is intended to be used directly, it can also act as a
-  backend prover for the Why software verification plateform or as an
-  automatic tactic for the Coq proof assistant.
+While Gappa is intended to be used directly, it can also act as a
+backend prover for the Why software verification plateform or as an
+automatic tactic for the Coq proof assistant.
 </longdescription>
 </pkgmetadata>
diff --git a/sci-mathematics/giac/metadata.xml b/sci-mathematics/giac/metadata.xml
index aa9b2646b..60502e1d7 100644
--- a/sci-mathematics/giac/metadata.xml
+++ b/sci-mathematics/giac/metadata.xml
@@ -6,10 +6,10 @@
 		<name>Gentoo Mathematics Project</name>
 	</maintainer>
 	<longdescription>
-  Giac is a free computer algebra system that can be used to perform
-  computer algebra, function graphs, interactive geometry (2-d and 3-d),
-  spreadsheet and statistics, programmation. It may be used as a replacement
-  for high end graphic calculators for example on netbooks (for about
-  the same price as a calculator but with much more performances).
+Giac is a free computer algebra system that can be used to perform
+computer algebra, function graphs, interactive geometry (2-d and 3-d),
+spreadsheet and statistics, programmation. It may be used as a replacement
+for high end graphic calculators for example on netbooks (for about
+the same price as a calculator but with much more performances).
 </longdescription>
 </pkgmetadata>
diff --git a/sci-mathematics/kayali/metadata.xml b/sci-mathematics/kayali/metadata.xml
index def9a9d8c..df0c0137a 100644
--- a/sci-mathematics/kayali/metadata.xml
+++ b/sci-mathematics/kayali/metadata.xml
@@ -10,7 +10,7 @@ kayali is a Qt based Computer Algebra System (CAS) that can also be
 used as an advanced replacement for KDE KCalc. It is essentially a
 front end GUI forMaxima (and is easily extended to other CAS
 back-ends) and Gnuplot.
-  </longdescription>
+</longdescription>
 	<upstream>
 		<remote-id type="sourceforge">kayali</remote-id>
 	</upstream>
diff --git a/sci-mathematics/mathics/metadata.xml b/sci-mathematics/mathics/metadata.xml
index b578df1bf..b7bcd8c15 100644
--- a/sci-mathematics/mathics/metadata.xml
+++ b/sci-mathematics/mathics/metadata.xml
@@ -9,15 +9,15 @@
 		<name>Gentoo Physics Project</name>
 	</maintainer>
 	<longdescription lang="en">
-		Mathics—to be pronounced like “Mathematics” without the “emat”—is a general-purpose computer algebra system (CAS).
-		It is meant to be a free, light-weight alternative to Mathematica®. It is free both as in “free beer” and as in “freedom”.
-		There are various online mirrors running Mathics but it is also possible to run Mathics locally. A list of mirrors
-		can be found at the Mathics homepage, http://mathics.github.io.
+Mathics—to be pronounced like “Mathematics” without the “emat”—is a general-purpose computer algebra system (CAS).
+It is meant to be a free, light-weight alternative to Mathematica®. It is free both as in “free beer” and as in “freedom”.
+There are various online mirrors running Mathics but it is also possible to run Mathics locally. A list of mirrors
+can be found at the Mathics homepage, http://mathics.github.io.
 
-		The programming language of Mathics is meant to resemble Wolfram's famous Mathematica® as much as possible.
-		However, Mathics is in no way affiliated or supported by Wolfram. Mathics will probably never have the power to
-		compete with Mathematica® in industrial applications; yet, it might be an interesting alternative for educational purposes.
-	</longdescription>
+The programming language of Mathics is meant to resemble Wolfram's famous Mathematica® as much as possible.
+However, Mathics is in no way affiliated or supported by Wolfram. Mathics will probably never have the power to
+compete with Mathematica® in industrial applications; yet, it might be an interesting alternative for educational purposes.
+</longdescription>
 	<upstream>
 		<remote-id type="github">mathics/Mathics</remote-id>
 	</upstream>
diff --git a/sci-mathematics/mdp/metadata.xml b/sci-mathematics/mdp/metadata.xml
index 63bb3d1f1..4a8c55d36 100644
--- a/sci-mathematics/mdp/metadata.xml
+++ b/sci-mathematics/mdp/metadata.xml
@@ -10,13 +10,13 @@
 		<name>Gentoo Mathematics Project</name>
 	</maintainer>
 	<longdescription lang="en">
-	Modular toolkit for Data Processing (MDP) is a Python data processing
-	framework. Implemented algorithms include: Principal Component Analysis
-	(PCA), Independent Component Analysis (ICA), Slow Feature Analysis (SFA),
-	Independent Slow Feature Analysis (ISFA), Growing Neural Gas (GNG), Factor
-	Analysis, Fisher Discriminant Analysis (FDA), Gaussian Classifiers, and
-	Restricted Boltzmann Machines.
-  </longdescription>
+Modular toolkit for Data Processing (MDP) is a Python data processing
+framework. Implemented algorithms include: Principal Component Analysis
+(PCA), Independent Component Analysis (ICA), Slow Feature Analysis (SFA),
+Independent Slow Feature Analysis (ISFA), Growing Neural Gas (GNG), Factor
+Analysis, Fisher Discriminant Analysis (FDA), Gaussian Classifiers, and
+Restricted Boltzmann Machines.
+</longdescription>
 	<upstream>
 		<remote-id type="sourceforge">mdp-toolkit</remote-id>
 	</upstream>
diff --git a/sci-mathematics/open-axiom/metadata.xml b/sci-mathematics/open-axiom/metadata.xml
index e1c513481..c9b1f5cd4 100644
--- a/sci-mathematics/open-axiom/metadata.xml
+++ b/sci-mathematics/open-axiom/metadata.xml
@@ -6,11 +6,11 @@
 		<name>Gentoo Mathematics Project</name>
 	</maintainer>
 	<longdescription lang="en">
-  OpenAxiom is an open source platform for symbolic, algebraic, and
-  numerical computations. It offers an interactive environment, an expressive
-  programming language, a compiler, a large set of mathematical libraries of
-  interest to researchers and practitioners of computational sciences.
-  </longdescription>
+OpenAxiom is an open source platform for symbolic, algebraic, and
+numerical computations. It offers an interactive environment, an expressive
+programming language, a compiler, a large set of mathematical libraries of
+interest to researchers and practitioners of computational sciences.
+</longdescription>
 	<upstream>
 		<remote-id type="sourceforge">open-axiom</remote-id>
 	</upstream>
diff --git a/sci-mathematics/pff/metadata.xml b/sci-mathematics/pff/metadata.xml
index 15984c1cd..0c97b245d 100644
--- a/sci-mathematics/pff/metadata.xml
+++ b/sci-mathematics/pff/metadata.xml
@@ -6,9 +6,9 @@
 		<name>Gentoo Mathematics Project</name>
 	</maintainer>
 	<longdescription>
-  PFF (Preuves Formelles sur les Flottants = Formal Proofs about Floats)
-  is a repository of a Coq library about floating-point arithmetic. It
-  contains both definitions and proofs of basic facts, old and new
-  properties and algorithms.
+PFF (Preuves Formelles sur les Flottants = Formal Proofs about Floats)
+is a repository of a Coq library about floating-point arithmetic. It
+contains both definitions and proofs of basic facts, old and new
+properties and algorithms.
 </longdescription>
 </pkgmetadata>
diff --git a/sci-mathematics/scilab/metadata.xml b/sci-mathematics/scilab/metadata.xml
index da1c3fd2d..ef72c6a0f 100644
--- a/sci-mathematics/scilab/metadata.xml
+++ b/sci-mathematics/scilab/metadata.xml
@@ -6,19 +6,19 @@
 		<name>Gentoo Mathematics Project</name>
 	</maintainer>
 	<longdescription lang="en">
-  Scilab is a matrix-based scientific software package. Scilab contains
-  hundreds of built-in mathematical functions, rich data structures
-  (including polynomials, rationals,linear systems, lists, etc...) and
-  comes with a number of specific toolboxes for control, signal
-  processing, ...
+Scilab is a matrix-based scientific software package. Scilab contains
+hundreds of built-in mathematical functions, rich data structures
+(including polynomials, rationals,linear systems, lists, etc...) and
+comes with a number of specific toolboxes for control, signal
+processing, ...
 </longdescription>
 	<use>
 		<flag name="gui">Build the Java base graphical interface</flag>
 		<flag name="umfpack">Adds support for sparse solving
-  with <pkg>sci-libs/umfpack</pkg></flag>
+with <pkg>sci-libs/umfpack</pkg></flag>
 		<flag name="matio">Enable support for MATLAB file through <pkg>sci-libs/matio</pkg></flag>
 		<flag name="xcos">Enable building hybrid dynamic systems modeler and
-  simulator Xcos</flag>
+simulator Xcos</flag>
 		<flag name="emf">Add suport for exporting to emf files</flag>
 	</use>
 </pkgmetadata>
diff --git a/sci-mathematics/ufc/metadata.xml b/sci-mathematics/ufc/metadata.xml
index 9a93b9cc9..062f16a24 100644
--- a/sci-mathematics/ufc/metadata.xml
+++ b/sci-mathematics/ufc/metadata.xml
@@ -7,7 +7,7 @@
 	</maintainer>
 	<longdescription lang="en">
 UFC (Unified Form-assembly Code) is a unified framework for finite element assembly. More precisely, it defines a fixed interface for communicating low level routines (functions) for evaluating and assembling finite element variational forms. The UFC interface consists of a single header file ufc.h that specifies a C++ interface that must be implemented by code that complies with the UFC specification.
-  </longdescription>
+</longdescription>
 	<upstream>
 		<remote-id type="bitbucket">fenics-project/ufc-deprecated</remote-id>
 		<remote-id type="launchpad">ufc</remote-id>
diff --git a/sci-mathematics/why/metadata.xml b/sci-mathematics/why/metadata.xml
index bc61eeae6..70e1eb45f 100644
--- a/sci-mathematics/why/metadata.xml
+++ b/sci-mathematics/why/metadata.xml
@@ -6,15 +6,15 @@
 		<name>Gentoo Science Project</name>
 	</maintainer>
 	<longdescription>
-  Why is a software verification platform. It contains a general-purpose
-  verification condition generator (VCG) which is used as a back-end
-  by other verification tools but it can also be used directly to verify
-  programs. It also provides Krakatoa, a tool or the verification of Java
-  programs and Caduceus, a tool for the verification of C programs.
+Why is a software verification platform. It contains a general-purpose
+verification condition generator (VCG) which is used as a back-end
+by other verification tools but it can also be used directly to verify
+programs. It also provides Krakatoa, a tool or the verification of Java
+programs and Caduceus, a tool for the verification of C programs.
 </longdescription>
 	<use>
 		<flag name="apron">Use <pkg>sci-mathematics/apron</pkg> library for
-  abstract interpretation</flag>
+abstract interpretation</flag>
 		<flag name="coq">Add <pkg>sci-mathematics/coq</pkg> support</flag>
 		<flag name="float">Add <pkg>sci-mathematics/flocq</pkg> support</flag>
 		<flag name="gappa">Add <pkg>sci-mathematics/gappalib-coq</pkg> support</flag>
diff --git a/sci-mathematics/why3/metadata.xml b/sci-mathematics/why3/metadata.xml
index 47cb67ef8..5f92771c1 100644
--- a/sci-mathematics/why3/metadata.xml
+++ b/sci-mathematics/why3/metadata.xml
@@ -6,16 +6,16 @@
 		<name>Gentoo Mathematics Project</name>
 	</maintainer>
 	<longdescription>
-  Why3 is a platform for deductive program verification. It provides
-  a rich language for specification and programming, called WhyML,
-  and relies on external theorem provers, both automated and interactive,
-  to discharge verification conditions. Why3 comes with a standard
-  library of logical theories (integer and real arithmetic, Boolean
-  operations, sets and maps, etc.) and basic programming data structures
-  (arrays, queues, hash tables, etc.). A user can write WhyML programs
-  directly and get correct-by-construction OCaml programs through an
-  automated extraction mechanism. WhyML is also used as an intermediate
-  language for the verification of C, Java, or Ada programs.
+Why3 is a platform for deductive program verification. It provides
+a rich language for specification and programming, called WhyML,
+and relies on external theorem provers, both automated and interactive,
+to discharge verification conditions. Why3 comes with a standard
+library of logical theories (integer and real arithmetic, Boolean
+operations, sets and maps, etc.) and basic programming data structures
+(arrays, queues, hash tables, etc.). A user can write WhyML programs
+directly and get correct-by-construction OCaml programs through an
+automated extraction mechanism. WhyML is also used as an intermediate
+language for the verification of C, Java, or Ada programs.
 </longdescription>
 	<use>
 		<flag name="float">Add <pkg>sci-mathematics/flocq</pkg> support</flag>
diff --git a/sci-mathematics/yorick/metadata.xml b/sci-mathematics/yorick/metadata.xml
index b1239e2c8..aa9387970 100644
--- a/sci-mathematics/yorick/metadata.xml
+++ b/sci-mathematics/yorick/metadata.xml
@@ -13,7 +13,7 @@
 Yorick is a language for scientific computing and rapid prototyping, similar to
 matlab. It can easily call C functions and libraries, has multidimensional arrays
 and built-in plot functions.
-  </longdescription>
+</longdescription>
 	<upstream>
 		<remote-id type="sourceforge">yorick</remote-id>
 	</upstream>